复杂体系的结构分析和建模研究

根据复杂体系的概念及其所呈现出的多种特性,利用复杂体系的使命分解和复杂体系的元素组成对复杂体系进行综合的结构分析,描述了目标分解、功能分解和行为分解的复杂体系使命目标三阶段分解过程以及系统单元、复合元和体系外部环境的复杂体系三元素结构框架。在此基础上,提出了采用一种“两层四级”的设计思想对复杂体系进行有效的结构建模设计,并针对复杂体系内部的相互位置层次及其功能关联定义了度量实体、层级映射、系统关联性和软构层等相关概念,清晰地阐释了复杂体系结构分析和建模时体系层次映射的实质,从而为复杂体系的效能评估以及体系改进和优化提供一定的理论指导。     

水面舰艇防空作战能力的需求生成方法

为了更好地量化表达水面舰艇所具备的防空作战能力,提出了一种基于元活动的能力需求生成方法。建立了能力需求生成框架,在此框架下进行元活动库的提取,能力指标的分解,元活动-能力指标映射规则的分析得到中近程拦截能力的能力指标并进行了冲突消解,验证了所提方法的有效性。     

某岸舰导弹作战指挥模拟系统的设计

针对岸舰导弹作战指挥训练设计的模拟系统,运用直接模拟的方法构建系统框架,给出了作战指挥、发射过程和飞行弹道模拟的方法,分析了矢量海图的制作和嵌入技术,运用墨卡托制图原理和导弹射击理论建立了射击计算数学模型,运用GDI+绘图和数据库技术实现了战斗现场保存回放功能.     

基于转移费用矩阵的机器人路径规划方法

本文描述了机器人路径规划的一种新方法：基于转移费用矩阵的机器人路径规划方法。通过定义转移费用矩阵的概念及其上的二元运算,将最优路径的生成,转化为矩阵的运算,使得有限步的矩阵运算,即可得到环境中所有点间的最优路径,达到了在预处理阶段构造最优路径集的目的。最后,介绍了该方法在移动机器人任务规划中的应用     

使用局部色调映射匹配异源图像

色调映射是一种适用于亮度和对比度变化的快速图像匹配方法。由于异源图像间存在复杂的灰度变换关系,直接采用色调映射方法进行匹配的成功率通常难以满足应用需求。为了提高匹配成功率,本文提出基于子区弱切片变换的局部色调映射异源图像匹配方法。首先将实时图划分为不重叠的子区,对每个子区进行直方图均衡化和弱切片变换,通过局部色调映射计算子区与基准图的距离系数图。融合全部距离系数图得到图像匹配结果。实验结果表明,该方法匹配成功率高于现有的色调映射方法,且计算时间仅略高于现有方法,优于异源图像匹配中常用的互信息方法。     

基于局部色调映射的异源图像匹配方法

色调映射是一种适用于亮度和对比度变化的快速图像匹配方法。由于异源图像间存在复杂的灰度变换关系,直接采用色调映射方法进行匹配的成功率通常难以满足应用需求。为了提高匹配成功率,本文提出基于局部色调映射的异源图像匹配方法。首先将实时图划分为不重叠的子区,对每个子区进行直方图均衡化和弱切片变换,通过局部色调映射计算子区与基准图的距离系数图。融合全部距离系数图得到图像匹配结果。实验结果表明,该方法匹配成功率高于现有的色调映射方法,且计算时间仅略高于现有方法,优于异源图像匹配中常用的互信息方法。     

关于强增生算子的有限族的强收敛定理

提出了Banach空间中非线性增生算子方程带误差的三重迭程式, 研究了多个非线性增生算子解与多个强伪压缩映象的公共不动点逼近问题, 获得 2个收敛定理。     

局部耗散型算子的Ishikawa迭代序列收敛性判别准则

给出了局部耗散型算子的Ishikawa迭代序列的收敛定理,将近期该领域的许多结果一般化。     

度量空间的非标准特性(Ⅱ)

本文在文《度重空间的非标准特性（Ⅰ）》的基础上,用非标准分析方法刻划了度量空间上的全有界映射与紧映射的许多特性,并给出了一个赋范线性空间的维数有限的非标准特征。最后,在赋范线性空间中,通过弱拓扑性质的非标准刻划,简洁地证明了Ｅｂｅｒｌｅｉｎ－Ⅲ定理。     

基于中间表示规则替换的二进制翻译中间代码优化方法

动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题。传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法。将优化重点聚焦在针对特殊指令匹配的中间表示规则替换上,提出了一种基于中间表示规则替换的二进制翻译中间代码优化方法。该方法针对中间代码膨胀所呈现的几种典型情景,描述了中间表示替换规则,并将以往应用在后端代码优化上的寄存器直接映射策略应用在此处。通过建立映射公式,实现了将原来的内存虚拟操作替换为本地寄存器操作,从而降低了中间代码膨胀率。使用SPEC CPU2006测试集进行了实验,验证了此优化方法的正确性和有效性。测试用例在优化前和优化后的执行结果一致,验证了优化方法的正确性;优化后测试用例的中间代码平均缩减率达到32.59%,验证了优化方法的有效性。